Mathieu Hoyrup participates in the Marie-Curie RISE project Computing with Infinite Data coordinated by Dieter Spreen (Univ. Siegen) that has started in April 2017.